Reducibility, a constructive dual of spatiality
نویسنده
چکیده
An intuitionistic analysis of the relationship between pointfree and pointwise topology brings new notions to light that are hidden from a classical viewpoint. In this paper, we introduce one of these, namely the notion of reducibility for a pointfree topology, which is classically equivalent to spatiality. We study its basic properties and we relate it to spatiality and to other concepts in constructive topology. We also analyse some notable examples. For instance, reducibility for the pointfree Cantor space amounts to a strong version of Weak König’s Lemma.
منابع مشابه
The Canonicity of Point-free Topology
Properties of topological spaces are not absolute, as they may depend on the ambient mathematical universe. For instance, the answers to some questions in classical point-set topology hinge on non-standard set-theoretic axioms, while in intuitionistic mathematics even such basic properties as the Heine-Borel compactness of the closed interval depend on the ambient constructive variety. We show ...
متن کاملThe Basic Zariski Topology
We present the Zariski spectrum as an inductively generated basic topology à la Martin-Löf and Sambin. Since we can thus get by without considering powers and radicals, this simplifies the presentation as a formal topology initiated by Sigstam. Our treatment includes closed and open subspaces: that is, quotients and localisations. All the effective objects under consideration are introduced by ...
متن کاملThe principle of point-free continuity
In the setting of constructive point-free topology, we introduce a notion of continuous operation between point-free topologies and the corresponding principle of point-free continuity. An operation between points of point-free topologies is continuous if it is induced by a relation between the bases of the topologies; this gives a rigorous condition for Brouwer’s continuity principle to hold. ...
متن کاملThe Medvedev lattice of computably closed sets
Simpson introduced the lattice P of Π 1 classes under Medvedev reducibility. Questions regarding completeness in P are related to questions about measure and randomness. We present a solution to a question of Simpson about Medvedev degrees of Π 1 classes of positive measure that was independently solved by Simpson and Slaman. We then proceed to discuss connections to constructive logic. In part...
متن کاملConstructive Dynamisms of Large-Scale Urban Projects by the Space Political Economy Approach; a Case Study of Mashhad Metropolis
Aims: The development of large-scale construction projects has transformed the shape of cities towards specific objectives and based on economic and political perspectives that dominate policy-making and planning in cities. The purpose of the research was to study and analyze the spatiality of Mashhad construction mega-projects and to explain the constructive forces and dynamisms of these proje...
متن کامل